Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
61	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
62	Adv. Appl. Prob. 46, 766–Printed in Northern Ireland © Applied Probability Trust 2014 A TWO-SIDED LAPLACE INVERSION ALGORITHM WITH COMPUTABLE ERROR BOUNDS AND ITS Add to Reading List Source URL: www.rmi.nus.edu.sg Language: English - Date: 2015-07-02 05:21:34 Integral transforms Fourier analysis Mathematical physics Probability distributions Normal distribution Laplace transform Fourier transform Holomorphic functional calculus
63	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
64	http://www.r-project.org/ A (very) short introduction to R and do the following (assuming you work on a Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-03-18 06:24:32 Linear algebra Array programming languages Vectors Functional languages Vector calculus R Euclidean vector Matrix Vector space Norm Vector Command-line interface
65	Modular Bisimulation Theory for Computations and Values Appendix A 17 Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Stochastic processes Stopping time Primitive recursive functional
66	Series transformations to improve and extend convergence G.A. Kalugin and D.J. Jeﬀrey The University of Western Ontario, Department of Applied Mathematics, London, Ontario, Canada Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2010-05-28 12:05:15 Special functions Analytic functions Lambert W function Symbol Holomorphic functional calculus Polylogarithm
67	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application
68	Final version to appear in OnwardSlimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi Brown University Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-07-24 12:41:04 Subroutines Functional programming Higher-order functions Programming language comparisons Lambda calculus Scope Fold Apply JavaScript Map Reserved word This
69	Department of Mathematical Sciences QUALIFYING EXAMINATION FOR THE PH.D. IN MATHEMATICAL SCIENCES COMPREHENSIVE EXAMINATION FOR THE M.S. IN MATHEMATICAL SCIENCES These written examinations are given three times each year Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2016-07-11 16:50:34 Mathematics Mathematical analysis Computational mathematics Functional analysis Pure mathematics Differential equation Vector space Linear algebra Finite element method Eigenvalues and eigenvectors Calculus Book:Mathematics- An introduction
70	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form

UPDATE